#include<stdio.h>
int main()
{
	printf("%3.3f\n",123.456f);
	return 0 ;
}

